Smart grids are rolling out internationally, with the United States nearing completion of a significant USD4-plus-billion federal program funded under the American Recovery and Reinvestment Act. The emergence of smart grids is widespread across developed countries. Multiple approaches to analyzing the benefits of smart grids have emerged. The goals of this white paper are to review these approaches and analyze examples of each to highlight their differences, advantages, and disadvantages. This work was conducted under the auspices of a joint U.S.-China (...) research effort, the Climate Change Working Group Implementation Plan, Smart Grid. We present comparative benefits assessments of smart grid demonstrations in the U.S. and China along with a BA of a pilot project in Europe. In the U.S., we assess projects at two sites: the University of California, Irvine campus, which consists of two distinct demonstrations: Southern California Edison’s Irvine Smart Grid Demonstration Project and the UCI campus itself; and the Navy Yard area in Philadelphia, which has been repurposed as a mixed commercial-industrial, and possibly residential, development. In China, we cover several smart-grid aspects of the Sino-Singapore Tianjin Eco-city and the Shenzhen Bay Technology and Ecology City. In Europe, we look at a BA of a pilot smart grid project in the Malagrotta area west of Rome, Italy, contributed by the Joint Research Centre of the European Commission. The Irvine sub-project BAs use the U.S. Department of Energy Smart Grid Computational Tool, which is built on methods developed by the Electric Power Research Institute. The TEC sub-project BAs apply Smart Grid Multi-Criteria Analysis developed by the State Grid Corporation of China based on the analytic hierarchy process with fuzzy logic. The B-TEC and TNY sub-project BAs are evaluated using new approaches developed by those project teams. JRC has adopted an approach similar to EPRI’s but tailored to the Malagrotta distribution grid. (shrink)

This paper proposes the modified generalization of the HSS to solve a large and sparse continuous Sylvester equation, improving the efficiency and robustness. The analysis shows that the MGHSS converges to the unique solution of AX + XB = C unconditionally. We also propose an inexact variant of the MGHSS and prove its convergence under certain conditions. Numerical experiments verify the efficiency of the proposed methods.

This article demonstrates that Ibn Sīnā’s theory of experience (taǧriba) requires a cross-reference between logic and psychology. Following the Basran linguistic tradition, he paraphrases derived names (ism muštaqq) into the li-x y formula: for example, ʿālim (“knowing”) is paraphrased into lahu ʿilm (“an act of knowing belongs to him”). His theory of experience employs this formula for arranging observed phenomena into a certain form of a syllogism and describing functions of the brain’s inner senses. Ibn Sīnā arranges observed phenomenon into (...) the li-x y formula or the proposition of which a predicate is a derived name of y. Meanwhile, he holds that the sense of recollection is involved in the process of experience. Recollection is an inner sense of the brain, which preserves maʿnā perceived by the sense of estimation. Estimation means to perceive maʿnā (y) that inheres in a subject (x), and to make a judgment about x based on y. Thus, in this process, the analysis of derived names arranges observed phenomena into a rational order, and the inner sense establishes the causation between apprehension and logical assertion. The article concludes by discussing the relation of this philosophy to medicine. (shrink)

Let X, Y be Polish spaces,,. We say A is universal for Γ provided that each x‐section of A is in Γ and each element of Γ occurs as an x‐section of A. An equivalence relation generated by a set is denoted by, where. The following results are shown: If A is a set universal for all nonempty closed subsets of Y, then is a equivalence relation and. If A is a set universal for all countable subsets of Y, then (...) is a equivalence relation, and and ; if, then ; if every set is Lebesgue measurable or has the Baire property, then. for, if every set has the Baire property, and E is any equivalence relation, then. (shrink)

We show that a computable function $f:\mathbb R\rightarrow \mathbb R$ has Luzin’s property if and only if it reflects $\Pi ^1_1$ -randomness, if and only if it reflects $\Delta ^1_1$ -randomness, and if and only if it reflects ${\mathcal {O}}$ -Kurtz randomness, but reflecting Martin–Löf randomness or weak-2-randomness does not suffice. Here a function f is said to reflect a randomness notion R if whenever $f$ is R-random, then x is R-random as well. If additionally f is known to have (...) bounded variation, then we show f has Luzin’s if and only if it reflects weak-2-randomness, and if and only if it reflects $\emptyset '$ -Kurtz randomness. This links classical real analysis with algorithmic randomness. (shrink)

We show that a computable function $f:\mathbb R\rightarrow \mathbb R$ has Luzin’s property if and only if it reflects $\Pi ^1_1$ -randomness, if and only if it reflects $\Delta ^1_1$ -randomness, and if and only if it reflects ${\mathcal {O}}$ -Kurtz randomness, but reflecting Martin–Löf randomness or weak-2-randomness does not suffice. Here a function f is said to reflect a randomness notion R if whenever $f$ is R-random, then x is R-random as well. If additionally f is known to have (...) bounded variation, then we show f has Luzin’s if and only if it reflects weak-2-randomness, and if and only if it reflects $\emptyset '$ -Kurtz randomness. This links classical real analysis with algorithmic randomness. (shrink)

This article examines how modern Chinese Buddhism has been influenced by Christianity. For our purposes ‘modern Chinese Buddhism’ refers to a form of what has become known in the West as ‘Engaged Buddhism’, but in Chinese is known by titles which can be translated ‘Humanistic Buddhism’ or ‘Buddhism for Human Life’. This tradition was initiated on the Chinese mainland between the two World Wars by the monk Tài X?, and Part one of the article is devoted to him. Since the (...) communist conquest of China, its main branches have flourished in Taiwan, whence two of them have spread worldwide. The most successful, at least in numerical terms, has been Fo Guang Shan, founded by a personal disciple of Tài X?, Hsing Yun, now very old, and it is on this movement that we concentrate in Parts two and three. We differentiate between conscious imitation and analogous development due to similar social circumstances, and show how Protestant Christianity and Roman Catholicism have had different effects. In Part four, we examine Fo Guang Shan as a missionary religion. (shrink)

Computably Lipschitz reducibility , was suggested as a measure of relative randomness. We say α≤clβ if α is Turing reducible to β with oracle use on x bounded by x+c. In this paper, we prove that for any non-computable real, there exists a c.e. real so that no c.e. real can cl-compute both of them. So every non-computable c.e. real is the half of a cl-maximal pair of c.e. reals.

In 1978, Yu. F. Borisov presented an axiom system using a few basic assumptions and four explicit axioms, the fourth being a formulation of the relativity principle; and he demonstrated that this axiom system had (up to choice of units) only two models: a relativistic one in which worldview transformations are Poincaré transformations and a classical one in which they are Galilean. In this paper, we reformulate Borisov’s original four axioms within an intuitively simple, but strictly formal, first-order logic framework, (...) and convert his basic background assumptions into explicit axioms. Instead of assuming that the structure of physical quantities is the field of real numbers, we assume only that they form an ordered field. This allows us to investigate how Borisov’s theorem depends on the structure of quantities. We demonstrate (as our main contribution) how to construct Euclidean, Galilean, and Poincaré models of Borisov’s axiom system over every non-Archimedean field. We also demonstrate the existence of an infinite descending chain of models and transformation groups in each of these three cases, something that is not possible over Archimedean fields. As an application, we note that there is a model of Borisov’s axioms that satisfies the relativity principle, and in which the worldview transformations are Euclidean isometries. Over the field of reals it is easy to eliminate this model using natural axioms concerning time’s arrow and the absence of instantaneous motion. In the case of non-Archimedean fields, however, the Euclidean isometries appear intrinsically as worldview transformations in models of Borisov’s axioms and neither the assumption of time’s arrow, nor the rejection of instantaneous motion, can eliminate them. (shrink)

This study examines Nǐ yìsi shì X ‘Your Meaning is X’ as a practice of doing other-initiation in Mandarin conversations, focusing on how it addresses different sources of troubles systematically in informing sequences. It is found that while ‘Nǐ yìsi shì’ signals the speaker’s having trouble with the prior informing turn, ‘X’ is deployed to locate different aspects of the trouble source, being shaped by how an informing emerges in talk-in-interaction. Specifically, when following a volunteered informing, ‘X’ is usually built (...) to clarify specific words or phrases in preceding informing, thereby treating a certain element as underspecified or ambiguous. However, when following a question-solicited informing, ‘X’ is typically constructed to work out what the provided information exactly conveys, indicating the whole informing turn/action is in some way problematic, inappropriate, or inapposite. In both cases, ‘Nǐ yìsi shì X’ serves as an OI, working to target different kinds of the trouble source, and simultaneously proposes a potential solution to it. (shrink)

Yu, X., Riesz representation theorem, Borel measures and subsystems of second-order arithmetic, Annals of Pure and Applied Logic 59 65-78. Formalized concept of finite Borel measures is developed in the language of second-order arithmetic. Formalization of the Riesz representation theorem is proved to be equivalent to arithmetical comprehension. Codes of Borel sets of complete separable metric spaces are defined and proved to be meaningful in the subsystem ATR0. Arithmetical transfinite recursion is enough to prove the measurability of Borel sets for (...) any finite Borel measure on a compact complete separable metric space. (shrink)

The present study examined the endogenous release of luteinizing hormone-releasing hormone (LHRH) from superfused hypothalamic slices derived from Korean native cattie (KNC). In addition, the in vitro secretory pattern of LHRH release in '(NC was compared with that in imported cattle such as Holstein cow. The median eminences (ME) of hypothalamic tissues were dissected out, sliced, and quickly placed in an ice-cold superfusion chamber. Superfusion chambers containing ME slices were maintained in a constant temperature water-bath at 37∘C. Effluents were collected (...) on the ice at 10 min intervals for a 4 hr superfusion period and kept -20∘C prior to LHRH radioimmunoassay. LHRH release was analyzed by the PULSAR algorithm. The spontaneous release of LHRH from both cows was episodic during a 4 hr superfusion period. The mean LHRH release, pulse amplitude and pulse interval m KNC were 11.08± 1.50 pg/min/mg x 10-2, 21.43 1 7.28 pg/mg x 10-2, and 39.42 ± 3.08 min, which was quite similar to those observed in Holstein cows. The basic characteristics of the LHRH pulse generator of KNC appear important for a better understanding about the endocrine function of KNC. (shrink)

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms (...) of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructed. (shrink)

Mauldin [15] proved that there is an analytic set, which cannot be represented by $B\cup X$ for some Borel set B and a subset X of a $\boldsymbol{\Sigma }^0_2$ -null set, answering a question by Johnson [10]. We reprove Mauldin’s answer by a recursion-theoretical method. We also give a characterization of the Borel generated $\sigma $ -ideals having approximation property under the assumption that every real is constructible, answering Mauldin’s question raised in [15].

A real x is -Kurtz random if it is in no closed null set . We show that there is a cone of -Kurtz random hyperdegrees. We characterize lowness for -Kurtz randomness as being -dominated and -semi-traceable.

We prove that the continuous function${\rm{\hat \Omega }}:2^\omega \to $ that is defined via$X \mapsto \mathop \sum \limits_n 2^{ - K\left} $ for all $X \in {2^\omega }$ is differentiable exactly at the Martin-Löf random reals with the derivative having value 0; that it is nowhere monotonic; and that $\mathop \smallint \nolimits _0^1{\rm{\hat{\Omega }}}\left\,{\rm{d}}X$ is a left-c.e. $wtt$-complete real having effective Hausdorff dimension ${1 / 2}$.We further investigate the algorithmic properties of ${\rm{\hat{\Omega }}}$. For example, we show that the maximal (...) value of ${\rm{\hat{\Omega }}}$ must be random, the minimal value must be Turing complete, and that ${\rm{\hat{\Omega }}}\left \oplus X{ \ge _T}\emptyset \prime$ for every X. We also obtain some machine-dependent results, including that for every $\varepsilon > 0$, there is a universal machine V such that ${{\rm{\hat{\Omega }}}_V}$ maps every real X having effective Hausdorff dimension greater than ε to a real of effective Hausdorff dimension 0 with the property that $X{ \le _{tt}}{{\rm{\hat{\Omega }}}_V}\left$; and that there is a real X and a universal machine V such that ${{\rm{\Omega }}_V}\left$ is rational. (shrink)

本书从史学、文化学的角度对中国儒家伦理与商人精神进行探讨,文章有:《中国近世宗教伦理与商人精神》、《工业文明之精神基础》等。.

本书收录的文章按照四个主题进行了编排,分别是:世界历史与世界交往、马克思主义全球化理论建构、全球化与社会主义以及全球化理论的全球化等。.

A fragment of Professor Yuriy Kushakov's lecture course "German Philosophy of Modern Times" on the doctrine of Immanuel Kant is published for the first time.

Preliminary publication of one of the sections of the upcoming textbook "Narysy z istoriyi nimets’koyi filosofiyi Novoho chasu".

The author aims at an objective reinterpretation of L.Feuerbach's doctrine and refuting the prejudices that exist in the historical and philosophical tradition in relation to the Feuerbachian philosophical system. Through an analysis of Feuerbach's views on such concepts as the historical and philosophical paradigm, the relation of man to the world, dialectics and religion, the author concludes that these elements of Feuerbach's doctrine were distorted by K. Marx, F. Engels and their followers. The author demonstrates through Feuerbachian responses to 11 (...) theses of Marx by H.M. Sass that some aspects of Feuerbach's philosophy remain relevant to philosophy, and that the founders of Marxism distorted Feuerbach's doctrine in order to distinguish their philosophical system as more modern and true. (shrink)

Originally, the Church of the Caves was not a temple in the sense of an architectural building but a complex of caves. The word "church" is used here in its initial gospel sense of council, a gathering of the initiated. Thus, what we are talking about is a certain community that prefers life in a cave to a settled secular social order. A study of the symbolic aspects of the image of the cave and cave dwelling can be an interesting (...) contribution to the explication of certain essential features of Old Kievan monasticism. This article is an attempt at such an explication. (shrink)

本书论文大多围绕对康德、黑格尔与马克思思想的反思而展开讨论,进行了“不应该把近代西方哲学与当代西方哲学简单地割裂开来,也不应该“将对西方哲学的研究和对马克思哲学的研究抽象地对立起来”的思考。.

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

本书汇集了著名科学家、人文学者在中国科学院研究生院所做的有关科学前沿方面代表性的报告和讲座,内容涉及生物学、化学、农学、生态环境建设、可持续发展战略等。.